Raisonnement par équivalence : Pour prouver \(A\iff B\), on peut établir plusieurs équivalences successives (Equivalence, Transitivité)
